Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
71	Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures Pieter Wuille and Tom Schrijvers? Department of Computer Science, K.U.Leuven, Belgium FirstName.LastName @cs.kuleuven.be Add to Reading List Source URL: lirias.kuleuven.be Language: English Computer programming Abstract data types Procedural programming languages Arrays Sorting algorithms Array data type Linked list List Stack Computing Software engineering Data types
72	R Essentials Christopher Manning 4 November 2007 Here are some collected pointers on some useful things that you should have picked up, but just to make sure that you have. . . . Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2007-11-26 17:08:13 Abstract algebra Matrix Euclidean vector Array data structure Array data type Algebra Mathematics Linear algebra
73	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
74	The xmltool command-line utility Hussein Shafie, Pixware <> April 21, 2015 Abstract This document is the reference manual of the xmltool command-line utility. The xmltool command-line utility Add to Reading List Source URL: www.xmlmind.com Language: English - Date: 2015-04-20 04:21:39 Data Technical communication Markup languages ISO standards DocBook RELAX NG Schematron Document Type Definition Document Type Declaration Computing XML Information
75	Using the Synergies Between the Object-Oriented Paradigm and Mathematics in Joint Mathematics/Computer Science Programs Marc Conrad Tim French Add to Reading List Source URL: ring.perisic.com. Language: English - Date: 2004-06-25 12:35:33 Computer programming Programming paradigms Data types Object Mathematics Abstraction Mathematical object Computer science Abstract data type Software engineering Computing Object-oriented programming
76	Lexical Casting in C++ August 14, 2005 Abstract Add to Reading List Source URL: www.wanderinghorse.net Language: English - Date: 2009-07-27 17:58:38 C++ Method Type theory Data types Generic programming Typedef C++ classes Copy constructor Type system Software engineering Computing Computer programming
77	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
78	Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-19 02:12:20 Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science
79	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
80	Arrays in database systems, the next frontier ? What is an array? An array is a systematic arrangement of objects, usually in rows and columns. Add to Reading List Source URL: www.nesc.ac.uk Language: English - Date: 2010-12-22 05:04:19 Data types Computer programming Abstract data types Earth sciences graphics software NetCDF Array data type MonetDB Bit array FITS Computing Arrays Software engineering

UPDATE